程序分析相关论文
随着网络空间形势与软硬件技术的发展,如今网络环境和攻击方法复杂多变,网络空间不断面临新的安全威胁和防御挑战。由于Windows平......
随着当今社会的信息化和智能化的发展,软件系统的规模日益增大,导致构建软件系统的代码越来越复杂。现在很多软件系统的实现依赖于......
区块链中的工作量证明机制（Proof of Work,Po W）是一种通过矿池间的挖矿竞争来完成区块记账权和奖励分配的共识机制。因其简单易实现......
在大数据时代,用户的个人隐私数据拥有巨大的经济价值,相关的安全问题也愈发严重,各国组织纷纷出台相应的个人隐私保护政策。为了......
随着汽车行业市场环境的不断变化和运营成本的不断增加,使得汽车变速器执行机构车间GA产品的竞争力面临巨大挑战,而运用系统分析的......
在中国经济发展进入新常态的时代背景下,国家推出一系列绿色生态环保政策,迫使建筑业加快转型升级的步伐。装配式建筑正是现在转型......
随着智能驾驶、车联网等概念的兴起。车载镜头作为智能驾驶的主要视觉传感器、车联网信息收集的重要端口,拥有良好的发展前景。随......
云计算服务是虚拟化、集群计算和远程计算等多种技术相互融合发展的新型服务。该技术通过虚拟化技术,允许个人或者组织的数据和程......
目的探究天津市三级甲等综合医院护理工作流程现状，诠释护理人力资源可利用空间，寻找配置与优化新思路。方法根据工业工程理论和程序......
针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,......
本工作采用X射线荧光光谱法对含铀硅酸盐、磷酸盐和碳酸盐矿石样品中的铁、钛、钙、硫、磷、硅、铝和铀的分析进行了研究,对基体......
在两年多的Scratch教学实践过程中,我发现,按部就班的一个一个案例的讲解,或者丁是丁,卯是卯的原封不动的程序分析既抹杀了孩子们......
随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术......
该文的研究作为软件系统安全性分析项目的一部分,主要涉及了程序分析器中的若干关键技术,包括控制流图、控制依赖图、和类层次图理......
该论文主要研究C/C++中的类型转换,特别是隐式类型转换的静态安全性检测.通过分析各数据类型的特性,研究它们之间不安全的转换,根......
本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效......
随着计算机技术的发展和软件系统规模的扩大，现有软件系统往往积累了大量的行业知识，包括系统需求、业务规则和设计决策等，因此对软件......
程序切片是一种重要的程序分析技术，用于从原有程序中抽取对特定程序点上特定变量有影响的成份以构成新程序，通过分析这种新程序(称......
程序静态分析不编译运行程序，而是对程序源代码进行分析以发现其中的错误。静态分析的目标不是证明程序完全正确，而是在程序运行前尽......
现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术......
现今的并行编程实践多采用锁等较低的同步机制访问共享资源,这种编程困难且易出错;新引入的原子区构造虽简化了编程,但支持其实现......
计算机与互联网技术的快速发展，带来了一场计算机软件领域的技术革命。从PC时代的单机软件，到互联网时代的分布式软件，再到如今云计算......
近年来随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机底层系统已经提供了越来越高效的并行运行平台。但是,当前并......
网络协议识别是网络管理、网络安全、网络测量等领域的重要基础，随着互联网迅速普及，新的网络应用层出不穷，越来越多的私有网络接入互......
本文研究了代码推荐的方法,针对高校C语言课程的编程练习,在学生编写程序过程中提供不同粒度的代码推荐方案。学生练习编写程序过......
嵌入式网络系统,如无线传感器网络,越来越多地被运用到生产生活的各个方面。但由于嵌入式网络系统工作负载多变和资源受限的特点,......
Pull Request(PR)是团队合作开发软件时将涉及不同功能的代码纳入主干的一种流程。这个过程中,项目的贡献者可以修改并提交代码,并......
学位
目前软件工程项目中存在大量的注释,这些注释包含了丰富的语义信息,可以用于分析和理解源代码的功能。注释与源代码相比更具有可读......
Android移动应用程序在人们的日常生活和工作中起着越来越重要的作用。由于应用的交互性和移动设备运算能力的局限性,拥有良好的性......
JavaScript是目前最流行的编程语言之一。由于JavaScript具有高度动态的特性,它非常便于用来快速开发客户端的网络应用程序,也正因......
学位
注释是帮助开发人员理解代码的重要途径之一,注释相对于源码更直接、更具描述性并且更容易被开发人员理解。但是因为编写正确且高......
随着互联网时代的快速发展,Android移动计算平台在一个极短的时间内成为了数百万用户的基础设备。用户不仅使用这些Android终端生......
本文提出适用于面向对象系统的软件调用图分析方法。主要研究基于函数(函数调用图)和类(类依赖图)的软件调用图,并针对已有的函数......
本文提出了污点逆向传播的方法来解决用户隐私泄漏的问题。面向隐私保护的污点逆向传播实际上是按照污点正向传播的思想来追踪数据......
锁是一种常用的同步机制,用于保护程序状态和数据的正确访问,然而基于锁的并发程序很容易受到锁竞争的影响,导致性能下降和可伸缩......
可编程逻辑控制器(Programmable Logic Controller,PLC)程序易遭受篡改攻击而导致系统违背安全状态,甚至造成物理设备的破坏。当前......
本文分析比较了目前国内外计算框架剪力墙结构的常用方法,根据剪力墙变形的主要特点,采用一种墙板单元分析方法,即将墙用墙柱代替,......
本文建立了在三维地震力作用下平板型空间网架的振动方程,采用子空间迭代法求网架自振频率和振型。并列出了电算程序的框图。利用......
目前在美国较为普遍的看法是，中国、印度要为美国就业市场的疲软负责。有人认为，中国抢走的是美国制造业工作，而印度则夺走了美国白领......
在《图论》与《运筹学》的理论基础上,对城市给水管网事故抢修时闸门优化调度的数学模型进行了深入细致的研究。编制了管网事故抢......
目前,我们阅读的现代文,有些属文学类作品,如诗歌、戏剧、散文、小说等,有些属实用类文章,如说明文、科普文、新闻报道、杂文等。......
这样的主张非常符合人们通常的信念：积极思维能够带来好的结果。然而，在实际当中，真的是这样吗？一些心理学家在过去二十多年里所进行的......
用相对运动观点处理一些复杂的运动学问题会使问题大大简化，学生对这种方法很感兴趣，但由于受所学知识的局限理解上比较困难，往往不能......
在针对二进制程序的实际分析场景中,动态分析方法因具有更高的准确性而得到更为广泛的关注和运用.但是以动态污点分析为代表的细粒......
